| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Agreement between conformance and composition
|
Bourdonov, I. B.
|
|
2013
|
|
Suppl 1 |
p. 269-278
|
artikel
|
| 2 |
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields
|
A. A. Gusev
|
|
2001
|
|
Suppl 1 |
p. 18-21
4 p.
|
artikel
|
| 3 |
Algebraic Perturbation Theory for Hydrogen Atom in Weak Electric Fields
|
Gusev, A. A.
|
|
2001
|
|
Suppl 1 |
p. 18-21
|
artikel
|
| 4 |
Algorithms for Solving an Algebraic Equation
|
Bruno, A. D.
|
|
2019
|
|
Suppl 1 |
p. 533-545
|
artikel
|
| 5 |
A Metrics Suite for Measuring Indirect Coupling Complexity
|
Navas-Su, J.
|
|
|
|
Suppl 1 |
p. 735-761
|
artikel
|
| 6 |
An Algorithm for Detecting Precipitation in Computer Processing of Video Images
|
Dmitriev, V. T.
|
|
|
|
Suppl 1 |
p. 140-150
|
artikel
|
| 7 |
An Algorithm for Nonparametric Decomposition of Differential Polynomials
|
Sosnin, M. V.
|
|
2001
|
|
Suppl 1 |
p. 43-49
|
artikel
|
| 8 |
An algorithm for the visualization of stereo images simultaneously captured with different exposures
|
Pashchenko, N. F.
|
|
2017
|
|
Suppl 1 |
p. 250-257
|
artikel
|
| 9 |
An algorithm of automatic workflow optimization
|
Kalenkova, A. A.
|
|
2012
|
|
Suppl 1 |
p. 43-56
|
artikel
|
| 10 |
Analysis of entities in C and C++ programs and relations between them for program understanding
|
Belevantsev, A. A.
|
|
2016
|
|
Suppl 1 |
p. 49-53
|
artikel
|
| 11 |
Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors
|
Fedorenko, V. A.
|
|
|
|
Suppl 1 |
p. S72-S81
|
artikel
|
| 12 |
An Image Hashing Algorithm Based on a Convolutional Neural Network
|
Kulikova, O. V.
|
|
|
|
Suppl 1 |
p. 407-411
|
artikel
|
| 13 |
Ant Algorithms: Theory and Applications
|
Shtovba, S. D.
|
|
2005
|
|
Suppl 1 |
p. 167-178
|
artikel
|
| 14 |
Application of if-conversion to verification and optimization of workflows
|
Kalenkova, A. A.
|
|
2010
|
|
Suppl 1 |
p. 276-288
|
artikel
|
| 15 |
Application of the trace assertion method to the specification, design, and verification of automaton programs
|
Kuzmin, E. V.
|
|
2009
|
|
Suppl 1 |
p. 43-55
|
artikel
|
| 16 |
Architecture for Groupware Oriented to Collaborative Medical Activities in the Rehabilitation of Strokes
|
Fernández Gregorio, Sofía Isabel
|
|
|
|
Suppl 1 |
p. 643-656
|
artikel
|
| 17 |
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy
|
Anoshin, V. I.
|
|
|
|
Suppl 1 |
p. 30-35
|
artikel
|
| 18 |
A Tertiary Study on Microservices: Research Trends and Recommendations
|
Stojanov, Z.
|
|
|
|
Suppl 1 |
p. 796-821
|
artikel
|
| 19 |
A UML-based modeling of web application controller
|
Gorshkova, E. A.
|
|
2005
|
|
Suppl 1 |
p. 29-33
|
artikel
|
| 20 |
A UML-based modeling of web application controller
|
Gorshkova, E. A.
|
|
2005
|
|
Suppl 1 |
p. 29-33
|
artikel
|
| 21 |
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2
|
Jiménez, S.
|
|
|
|
Suppl 1 |
p. 552-565
|
artikel
|
| 22 |
Automatic word sense disambiguation based on document networks
|
Turdakov, D. Yu.
|
|
2010
|
|
Suppl 1 |
p. 11-18
|
artikel
|
| 23 |
Automaton recognition of doubly connected labyrinths with finite cyclic diameter
|
Stamatovich, B.
|
|
2010
|
|
Suppl 1 |
p. 149-156
|
artikel
|
| 24 |
Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot
|
Bourdonov, I. B.
|
|
2004
|
|
Suppl 1 |
p. 305-322
|
artikel
|
| 25 |
Bounded monotone recursion and multihead automata
|
Marchenkov, S. S.
|
|
2013
|
|
Suppl 1 |
p. 301-308
|
artikel
|
| 26 |
Computer Algebra and Computing Special Functions
|
S. L. Skorokhodov
|
|
2003
|
|
Suppl 1 |
p. 75-82
8 p.
|
artikel
|
| 27 |
Computer Algebra and Computing Special Functions
|
Skorokhodov, S. L.
|
|
2003
|
|
Suppl 1 |
p. 75-82
|
artikel
|
| 28 |
Cunningham numbers in modular arithmetic
|
Zima, E. V.
|
|
2007
|
|
Suppl 1 |
p. 80-86
|
artikel
|
| 29 |
Darboux transformations for factorable Laplace operators
|
Shemyakova, Ekaterina
|
|
2014
|
|
Suppl 1 |
p. 151-157
|
artikel
|
| 30 |
Data-Oriented Scheduling with Dynamic-Clustering Fault-Tolerant Technique for Scientific Workflows in Clouds
|
Ahmad, Z.
|
|
|
|
Suppl 1 |
p. 506-516
|
artikel
|
| 31 |
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra
|
Prokopenya, A. N.
|
|
|
|
Suppl 1 |
p. 107-115
|
artikel
|
| 32 |
Detection of Brain Cells in Optical Microscopy Based on Textural Features with Machine Learning Methods
|
Nosova, S. A.
|
|
2019
|
|
Suppl 1 |
p. 171-179
|
artikel
|
| 33 |
Development of a test suite for the verification of implementations of the IPsec v2 security protocol
|
Nikeshin, A. V.
|
|
2011
|
|
Suppl 1 |
p. 26-40
|
artikel
|
| 34 |
Environment modeling in a flight simulator
|
Sapronov, R. V.
|
|
2017
|
|
Suppl 1 |
p. 234-242
|
artikel
|
| 35 |
Evgenii Andreevich Zhogolev
|
|
|
2004
|
|
Suppl 1 |
p. 1-1
1 p.
|
artikel
|
| 36 |
Exact linearization of nonlinear ordinary autonomous differential equations
|
Berkovich, L. M.
|
|
|
|
Suppl 1 |
p. 25-27
|
artikel
|
| 37 |
Extensible environment for test program generation for microprocessors
|
Kamkin, A. S.
|
|
2014
|
|
Suppl 1 |
p. 1-9
|
artikel
|
| 38 |
Fast evaluation of the hypergeometric function pFp−1(a; b; z) at the singular point z = 1 by means of the Hurwitz zeta function ζ(α, s)
|
Bogolubsky, A. I.
|
|
2006
|
|
Suppl 1 |
p. 145-153
|
artikel
|
| 39 |
Formalization of a test experiment-II
|
Bourdonov, I. B.
|
|
2013
|
|
Suppl 1 |
p. 163-181
|
artikel
|
| 40 |
Formalization of test experiments
|
Bourdonov, I. B.
|
|
2007
|
|
Suppl 1 |
p. 239-260
|
artikel
|
| 41 |
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System
|
Kochegurova, E. A.
|
|
|
|
Suppl 1 |
p. 385-398
|
artikel
|
| 42 |
Illumination Modeling and Generation of Realistic Images Using Internet Technologies
|
Barladyan, B. Kh.
|
|
2005
|
|
Suppl 1 |
p. 282-291
|
artikel
|
| 43 |
Indefinite summation of rational functions with additional minimization of the summable part
|
Polyakov, S. P.
|
|
2008
|
|
Suppl 1 |
p. 95-100
|
artikel
|
| 44 |
Indefinite summation of rational functions with factorization of denominators
|
Polyakov, S. P.
|
|
2011
|
|
Suppl 1 |
p. 322-325
|
artikel
|
| 45 |
Influence of regular system interrupts on performance of parallel stencil computations
|
Kalgin, K. V.
|
|
2014
|
|
Suppl 1 |
p. 223-228
|
artikel
|
| 46 |
Involutive bases of ideals in the ring of polynomials
|
Astrelin, A. V.
|
|
|
|
Suppl 1 |
p. 31-35
|
artikel
|
| 47 |
Involutive divisions and monomial orderings
|
Semenov, A. S.
|
|
2007
|
|
Suppl 1 |
p. 139-146
|
artikel
|
| 48 |
Involutive divisions and monomial orderings: Part II
|
Semenov, A. S.
|
|
2008
|
|
Suppl 1 |
p. 107-111
|
artikel
|
| 49 |
Involutive Divisions. Graphs
|
Shemyakova, E. S.
|
|
2004
|
|
Suppl 1 |
p. 68-74
|
artikel
|
| 50 |
Linear differential and difference systems: EGδ- and EGσ- eliminations
|
Abramov, S. A.
|
|
2013
|
|
Suppl 1 |
p. 91-109
|
artikel
|
| 51 |
MEG-Eliminations
|
D. E. Khmelnov
|
|
2001
|
|
Suppl 1 |
p. 12-17
6 p.
|
artikel
|
| 52 |
MEG-Eliminations
|
Khmelnov, D. E.
|
|
2001
|
|
Suppl 1 |
p. 12-17
|
artikel
|
| 53 |
Mind maps merging in collaborative work
|
Koznov, D.
|
|
2011
|
|
Suppl 1 |
p. 315-321
|
artikel
|
| 54 |
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets
|
Getmanskaya, A. A.
|
|
|
|
Suppl 1 |
p. 164-171
|
artikel
|
| 55 |
NoSQL Injection Attack Detection in Web Applications Using RESTful Service
|
Eassa, Ahmed M.
|
|
2019
|
|
Suppl 1 |
p. 435-444
|
artikel
|
| 56 |
On basic semantics of untyped functional programs
|
Hrachyan, G. G.
|
|
2009
|
|
Suppl 1 |
p. 121-135
|
artikel
|
| 57 |
On one problem of construction of energy-saving schedules
|
Trushnikov, M. A.
|
|
2010
|
|
Suppl 1 |
p. 337-342
|
artikel
|
| 58 |
On Program Schemes with Commuting and Monotone Operators
|
R. I. Podlovchenko
|
|
2003
|
|
Suppl 1 |
p. 270-276
7 p.
|
artikel
|
| 59 |
On Program Schemes with Commuting and Monotone Operators
|
Podlovchenko, R. I.
|
|
2003
|
|
Suppl 1 |
p. 270-276
|
artikel
|
| 60 |
On the bottom summation
|
Abramov, S. A.
|
|
2008
|
|
Suppl 1 |
p. 187-190
|
artikel
|
| 61 |
On the rational summation problem
|
Tsarev, S. P.
|
|
2005
|
|
Suppl 1 |
p. 56-59
|
artikel
|
| 62 |
On the 100th Anniversary of the Birth of Academician Sergei Alekseevich Lebedev
|
|
|
2003
|
|
Suppl 1 |
p. 1-1
1 p.
|
artikel
|
| 63 |
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 1: Problem Statement
|
O. N. Malykh
|
|
2004
|
|
Suppl 1 |
p. 34-46
13 p.
|
artikel
|
| 64 |
Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 1: Problem Statement
|
Malykh, O. N.
|
|
2004
|
|
Suppl 1 |
p. 34-46
|
artikel
|
| 65 |
Package of Procedures for Inverting Matrices Whose Entries are Linear Difference Operators
|
Abramov, S. A.
|
|
2019
|
|
Suppl 1 |
p. 288-297
|
artikel
|
| 66 |
Practical approach to the fast Monte-Carlo ray-tracing
|
Gruzdev, A. M.
|
|
2015
|
|
Suppl 1 |
p. 253-257
|
artikel
|
| 67 |
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study
|
Almeyda, S.
|
|
|
|
Suppl 1 |
p. 513-533
|
artikel
|
| 68 |
Prospects for virtualization of high-performance x64 systems
|
Kudryavtsev, A. O.
|
|
2013
|
|
Suppl 1 |
p. 285-294
|
artikel
|
| 69 |
PSI’11 call for papers Eighth International Andrei Ershov Conference “Perspectives of System Informatics” 27 June–1 July, 2011, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru
|
Virbitskaite, I. B.
|
|
2010
|
|
Suppl 1 |
p. 306-308
|
artikel
|
| 70 |
Qualitative investigation of a gene model using computer algebra algorithms
|
Boulier, F.
|
|
2015
|
|
Suppl 1 |
p. 105-111
|
artikel
|
| 71 |
Reconstruction of opaque inclusions in objects with high refractive index
|
Lebedev, A. S.
|
|
2014
|
|
Suppl 1 |
p. 185-192
|
artikel
|
| 72 |
SLS: A numbering scheme for large XML documents
|
Aznauryan, N. A.
|
|
2006
|
|
Suppl 1 |
p. 8-18
|
artikel
|
| 73 |
Solution of Systems of Linear Equations by the p-Adic Method
|
G. I. Malaschonok
|
|
2003
|
|
Suppl 1 |
p. 59-71
13 p.
|
artikel
|
| 74 |
Solution of Systems of Linear Equations by the p-Adic Method
|
Malaschonok, G. I.
|
|
2003
|
|
Suppl 1 |
p. 59-71
|
artikel
|
| 75 |
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling
|
Aguilar-Cisneros, J.R.
|
|
|
|
Suppl 1 |
p. 499-512
|
artikel
|
| 76 |
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series
|
Teguia Tabuguia, Bertrand
|
|
|
|
Suppl 1 |
p. 125-146
|
artikel
|
| 77 |
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp 1(z) to the Neighborhood of the Point z 1 in the Logarithmic Case
|
S. L. Skorokhodov
|
|
2004
|
|
Suppl 1 |
p. 150-156
7 p.
|
artikel
|
| 78 |
Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp– 1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case
|
Skorokhodov, S. L.
|
|
2004
|
|
Suppl 1 |
p. 150-156
|
artikel
|
| 79 |
Systems of agents controlled by logical programs: Complexity of verification
|
Valiev, M. K.
|
|
2009
|
|
Suppl 1 |
p. 266-281
|
artikel
|
| 80 |
The UniTesK Approach to Designing Test Suites
|
V. V. Kuliamin
|
|
2003
|
|
Suppl 1 |
p. 310-322
13 p.
|
artikel
|
| 81 |
The UniTesK Approach to Designing Test Suites
|
Kuliamin, V. V.
|
|
2003
|
|
Suppl 1 |
p. 310-322
|
artikel
|
| 82 |
The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs
|
Isaev, I. K.
|
|
2010
|
|
Suppl 1 |
p. 225-236
|
artikel
|
| 83 |
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
|
V. A. Nepomniaschy
|
|
2003
|
|
Suppl 1 |
p. 338-350
13 p.
|
artikel
|
| 84 |
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
|
Nepomniaschy, V. A.
|
|
2003
|
|
Suppl 1 |
p. 338-350
|
artikel
|
| 85 |
Traversal of an Unknown Directed Graph by a Finite Robot
|
I. B. Bourdonov
|
|
2004
|
|
Suppl 1 |
p. 188-203
16 p.
|
artikel
|
| 86 |
Traversal of an Unknown Directed Graph by a Finite Robot
|
Bourdonov, I. B.
|
|
2004
|
|
Suppl 1 |
p. 188-203
|
artikel
|
Tijdschrift beschrijving